Implementing Network Protocols as Distributed Logic Programs
نویسنده
چکیده
Declarative networking [2, 4, 3, 1] is an application of database query-language and processing techniques to the domain of networking. Declarative networking is based on the observation that network protocols deal at their core with computing and maintaining distributed state (e.g., routes, sessions, performance statistics) according to basic information locally available at each node (e.g., neighbor tables, link measurements, local clocks) while enforcing constraints such as local routing policies. Recursive query languages studied in the deductive database literature [6] are a natural fit for expressing the relationship between base data, derived data, and the associated constraints. Simple extensions to these languages and their implementations enable the natural expression and efficient execution of network protocols. Declarative networking aims to accelerate the process of specifying, implementing, experimenting with and evolving designs for network architectures. Declarative networking can reduce program sizes of distributed protocols by orders of magnitude relative to traditional approaches. In addition to serving as a platform for rapid prototyping of network protocols, declarative networking also open up opportunities for automatic protocol optimization and hybridization, program checking and debugging. This paper presents an introduction to declarative networking using a simple routing protocol example. For more details on declarative networking related projects, refer to the NetDB@Penn website [5], and the RapidNet [7] declarative networking engine. Disciplines Computer Sciences Comments Loo, B., Implementing Network Protocols as Distributed Logic Programs, Association of Logic Programming (ALP) Newsletter, March 2012 This journal article is available at ScholarlyCommons: http://repository.upenn.edu/cis_papers/686 Implementing Network Protocols as Distributed Logic Programs
منابع مشابه
Distributed Contingency Logic and Security
In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...
متن کاملParallel Conventional Systems versus Parallel Logic Programming Systems on Distributed Shared Memory Architectures
Distributed shared memory architectures have been object of research by many computer science groups. Research goes broadly from hardware based coherence protocols to DSM software protocols on networks of workstations passing through high technology interconnection networks that reduce network latency. In this work we thoroughly investigate how diierent hardware cache coherence protocols aaect ...
متن کاملUnified Declarative Platform for Secure Networked Information Systems
We present a unified declarative platform for specifying, implementing, and analyzing secure networked information systems. Our work builds upon techniques from logic-based trust management systems, declarative networking, and data analysis via provenance. We make the following contributions. First, we propose the secure network datalog (SeNDlog) language that unifies Binder, a logic-based lang...
متن کاملKalpa Publications in Computing
Gossip protocols deal with a group of communicating agents, each holding some private information, and aim at arriving at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols are particularly simple distributed programs that use as guards formulas from an epistemic logic. We showed recently that the implementability of these distributed gossip prot...
متن کاملAn Intelligent Technique for Implementing a New Platform for Merging Some of Protocols Package Using P2P Delayed Networks
Recently, exploring effective ways for distributed resources that allow sharing large amounts of data among users are presenting new challenges to computer networks. The Peer-to-Peer (P2P) networks have emerged over the past several years as new and effective ways for distributed resources to communicate and cooperate security and privacy in a number of ways. This paper focused on a new platfor...
متن کامل